Lower Bound Frontiers in Arithmetical Circuit Complexity
نویسندگان
چکیده
Acknowledgement I would like to thank my advisor Kenneth Regan for introducing me to the study of computational complexity. Thank you for your guidance and encouragement. The last six years have been great working together. Thank you also for teaching me how to teach. I would like to thank Alan Selman and Xin He for being on the Ph.D. committee and Martin Lotz for his work as the outside reader. Thank you for your help in improving this work. Prof. Selman I must also thank for his engaging seminars that I had the pleasure of attending, and for all those fun times being his teaching assistant for the theory of computation course. Thanks also to fellow theory students Charles Xavier Dennis, Samik Sengupta and Pavan Aduri for creating an enjoyable atmosphere. At the current time they have all vanished from UB, but they were here during most of my stay. I will be remembering those glorious days of taking U-turns in New Jersey! Finally, I would like to thank my wife, for her support, and, together with my son Rohan, for putting up with all of this. v Even within the limits of the possible, the possibilities are limitless.
منابع مشابه
On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy
We consider the problem of proving circuit lower bounds against the polynomialtime hierarchy. We first revisit a lower bound given by Kannan [Kan82], and for any fixed integer k > 0, we give an explicit Σp2 language, recognizable by a Σ p 2-machine with running time O(nk 2+k), that requires circuit size > nk. Next, as our main results, we give relativized results showing the difficulty of provi...
متن کاملA nonlinear lower bound for constant depth arithmetical circuits via the discrete uncertainty principle
We prove a super-linear lower bound on the size of a bounded depth bilinear arithmetical circuit computing cyclic convolution. Our proof uses the strengthening of the Donoho-Stark uncertainty principle [DS89] given by Tao [Tao05], and a combinatorial lemma by Raz and Shpilka [RS03]. This combination and an observation on ranks of circulant matrices, which we use to give a much shorter proof of ...
متن کاملGenerating Matrix Identities and Proof Complexity
Motivated by the fundamental lower bounds questions in proof complexity, we initiate the study of matrix identities as hard instances for strong proof systems. A matrix identity of d × d matrices over a field F, is a non-commutative polynomial f(x1, . . . , xn) over F such that f vanishes on every d × d matrix assignment to its variables. We focus on arithmetic proofs, which are proofs of polyn...
متن کاملOn toric varieties of high arithmetical rank1
We describe a class of toric varieties in the N -dimensional affine space which are minimally defined by no less than N − 2 binomial equations. Introduction The arithmetical rank (ara) of an algebraic variety is the minimum number of equations that are needed to define it set-theoretically. For every affine variety V ⊂ K we have that codimV ≤ araV ≤ N . This general upper bound was found by Eis...
متن کاملEquivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic
We show that model-checking flat counter systems over CTL* (with arithmetical constraints on counter values) has the same complexity as the satisfiability problem for Presburger arithmetic. The lower bound already holds with the temporal operator EF only, no arithmetical constraints in the logical language and with guards on transitions made of simple linear constraints. This complements our un...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006